" Helmut Veith" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, ... Computer Science and General Issues)

Автор: Anuj Dawar, Автор: Helmut Veith

Категория: Компьютеры

Размер книги: 6.39 Mb

25 Years of Model Checking

Автор: Orna Grumberg, Автор: Helmut Veith

Категория: CsLn_

Размер книги: 4.00 Mb

25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

Автор: Orna Grumberg, Автор: Helmut Veith

Категория: Computer Science, Computer Science

Размер книги: 41.36 Mb